Module isotope::ctx::ty [−][src]
Expand description
Contexts for type-checking terms
Structs
BinaryCtx | A simple typing context, which combines a |
MapTyCtx | A simple typing context based off a map |
Constants
TRIVIAL | The trivial typing context |
Traits
TyCtxMut | A context for mutably type-checking terms |
Type Definitions
Trivial | A trivial typing context |
TrivialCons | Wrap a typing context into a trivial one |